AXIOMS FOR GROUNDED TRUTH
نویسندگان
چکیده
منابع مشابه
Axioms for Determinateness and Truth
A new formal theory DT of truth extending PA is introduced, whose language is that of PA together with one new unary predicate symbol T (x), for truth applied to Gödel numbers of suitable sentences in the extended language. Falsity of x , F(x), is defined as truth of the negation of x ; then, the formula D(x) expressing that x is the number of a determinate meaningful sentence is defined as the...
متن کاملResearches on Rough Truth of Rough Axioms Based on Granular Computing
The concept, rough truth, is first presented in rough logic. It is a logical value, and lies between truth and falsity. By combining rough logic with modal logic, rough validity of the rough axioms is studied in this paper, which has close links with the logical value: rough truth. Because an axiom of modal logic corresponds to a rough axiom, the study of this paper actually focuses on the anal...
متن کاملBASE AXIOMS AND SUBBASE AXIOMS IN M-FUZZIFYING CONVEX SPACES
Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...
متن کاملAxioms for Concurrency
We study properties of equational characterisations of congruences defined over process algebras. The languages on which we concentrate are based on CCS, and our equivalences are generally restricted to observational congruences. We start by defining and investigating the notion of extensionality or w-completeness of an axiomatisation with respect to some semantic equivalence, as an extension o...
متن کاملAxioms for Hopf Invariants
1. Since H. Hopf first proved that irziS) « Z by showing that a certain invariant was non tri vial, several similar invariants—called generalized Hopf invariants—have been described; indeed, there are no less than 6 different definitions in the literature, and it was not always clear whether theorems about one applied to others. Many definitions were riddled with choices which had to be made, a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2013
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020313000282